- categorical assertions
- категорические утверждения
English-russian dctionary of diplomacy. 2014.
English-russian dctionary of diplomacy. 2014.
categorical — adjective a) absolute; having no exception Daytime interests are clearly not such far reaching psychical sources of dreams as might have been expected from the categorical assertions that everyone continues to carry on his daily business in his… … Wiktionary
categorical proposition — In syllogistic, a proposition in which the predicate is affirmed or denied of all or part of the subject. Thus, categorical propositions are of four basic forms: Every S is P, No S is P, Some S is P, and Some S is not P. These are designated by… … Universalium
explicit — explicit, express, specific, definite, categorical are comparable when applied to statements, utterances, and language and when meaning perfectly clear in significance or reference. Something is explicit which is stated so plainly and distinctly… … New Dictionary of Synonyms
Model of Hierarchical Complexity — The model of hierarchical complexity is a framework for scoring how complex a behavior is. It quantifies the order of hierarchical complexity of a task based on mathematical principles of how the information is organized and of information… … Wikipedia
Critique of Pure Reason — Part of a series on Immanuel … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
applied logic — Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium
Existence — For other uses, see Existence (disambiguation). Philosophy … Wikipedia
Ronald Fisher — R. A. Fisher Born 17 February 1890(1890 02 17) East Finchley, London … Wikipedia
Cyc — For other uses, see CYC (disambiguation). Cyc Developer(s) Cycorp Written in Lisp, CycL Type Ontology and Inference engine Cyc is an artificial intelligence project that attempts to assemble … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia